; env = (
;     var -> val
;     -> #t if env is empty else #f
; )

(define (empty-env? env)
    (eqv? 
        (cadr env)
        (empty-env)
    )
)
